package ast;

public class TermVar extends Term implements Variable {
	
	private String name;
	
	public TermVar(String nm)
	{
		name = nm;
	}
	
	public String getName()
	{
		return name;
	}

	public String toString()
	{
		return name;
	}
}
